-
1 detailed proof
Большой англо-русский и русско-английский словарь > detailed proof
-
2 detailed proof
Математика: подробное доказательство -
3 detailed proof
-
4 detailed proof
Англо-русский словарь по исследованиям и ноу-хау > detailed proof
-
5 circumstantiation (Detailed proof or description)
Религия: обоснованиеУниверсальный англо-русский словарь > circumstantiation (Detailed proof or description)
-
6 (a) detailed proof
-
7 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
8 detailed
['diːteɪld]adjподробный, детальный, обстоятельный, доскональный- detailed report- detailed description
- detailed analysis
- detailed audit
- detailed calculation
- detailed drawing
- detailed instructions
- detailed proof
- detailed schedule
- detailed estimate
- detailed information
- detailed letter
- detailed record
- detailed research -
9 detailed
['diːteɪld]прил.1) подробный, детальный, доскональный, обстоятельныйdetailed audit — детальная ревизия (полная ревизия счетов, книг, журалов, записей)
detailed drawing — детальный, деталированный чертеж
Syn:2) воен. назначенный; выделенный; откомандированный -
10 подробное доказательство
Большой англо-русский и русско-английский словарь > подробное доказательство
-
11 circumstantiation
1) Общая лексика: детализация2) Книжное выражение: уточнение3) Религия: (Detailed proof or description) обоснование
См. также в других словарях:
Proof (rapper) — Proof Proof in August 2005 Background information Birth name DeShaun Dupree Holton Born October 2, 1973 … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Proof discography — This detailed discography shows the work, from 1996 until his death, of Proof and his mini rap groups 5 Elementz (J Dilla, Thyme Mudd) and Goon Sqwad (Trick Trick, Diezel), and Soul Intent. He was also a member of D12.ProofEPsGuest appearances*… … Wikipedia
Proof (1991 film) — Infobox Film name = Proof image size = caption = DVD cover director = Jocelyn Moorhouse producer = Lynda House writer = Jocelyn Moorhouse starring = Hugo Weaving, Geneviève Picot, Russell Crowe music = Not Drowning Waving cinematography = Martin… … Wikipedia
Probabilistically checkable proof — In computational complexity theory, a probabilistically checkable proof (PCP) is a type of proof that can be checked by a randomized algorithm using a bounded amount of randomness and reading a bounded number of bits of the proof. The algorithm… … Wikipedia
Solution of the Poincaré conjecture — This entry describes the solution of the Poincaré conjecture at a level intended for the general public. The proof described is that of Grigori Perelman using the Ricci flow developed by Richard Hamilton. Links to other expositions for general… … Wikipedia
Four color theorem — Example of a four colored map A four colori … Wikipedia
Non-analytic smooth function — In mathematics, smooth functions (also called infinitely differentiable functions) and analytic functions are two very important types of functions. One can easily prove that any analytic function of a real argument is smooth. The converse is not … Wikipedia
Poincaré conjecture — In mathematics, the Poincaré conjecture (French, pronounced|pwɛ̃kaʀe) [cite encyclopedia | encyclopedia=The American Heritage Dictionary of the English Language | title=Poincaré, Jules Henri | url=http://www.bartleby.com/61/3/P0400300.html |… … Wikipedia
Finite field — In abstract algebra, a finite field or Galois field (so named in honor of Évariste Galois) is a field that contains only finitely many elements. Finite fields are important in number theory, algebraic geometry, Galois theory, cryptography, and… … Wikipedia
Talmud — Rabbinic Literature Talmudic literature Mishnah • Tosefta Jerusalem Talmud • Babylonian Talmud Minor tractates Halakhic Midrash Mekhilta de Rabbi Yishmael (Exodus) Mekhilta de Rabbi Shimon (Exodus) Sifra (Leviticus) Sifre (Numbers Deuteronomy) … Wikipedia